perm filename C2[1,JRA] blob
sn#005843
filedate 1972-07-21 generic text, type T, neo UTF8
00100 ∀(X1)((LE(U X1) ∧ LE(X1 SUB1(J)) ∧ LE(SUB1(J) SUB1(CN))) → LE(A(X1) A(J))); 00200 ;